| 1. | Condition 2 says that provably true formulas are closed under modus ponens.
|
| 2. | Both rules are based on the modus ponens inference rule.
|
| 3. | (1 ) is a typical example of modus ponens.
|
| 4. | Modus ponens would apply if you knew she put on her shoes.
|
| 5. | :: : : This is a formally valid modus ponens argument.
|
| 6. | Constructive dilemma is the disjunctive version of modus ponens.
|
| 7. | This is the " modus ponens " rule of propositional logic.
|
| 8. | We can then detach the conclusion, ?, via the modus ponens rule.
|
| 9. | The disjunctive version of " modus ponens " is the constructive dilemma.
|
| 10. | In artificial intelligence, " modus ponens " is often called forward chaining.
|